rmsg(${\it info}$; ${\it val}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$msg(link(${\it info}$;$e$); rtag(${\it info}$; $e$); (${\it val}$($e$)))